perm filename T329.9[AM,DBL] blob
sn#574950 filedate 1981-03-29 generic text, type T, neo UTF8
<CSD.LENAT>TRACE.MAR29.9 is now open.
"29-Mar-81 19:31:37"
:BTV
RATOM
OR
prompt NIL
i NIL
YesNo
AND
COND
tmp8 NIL
flag NIL
V H3-1
P Specializations
A H3-1-3
DwimUnionProp
e H3-1-3
(LAMBDA (e) (DwimUnionProp e inv un))
MAPC
AND
inv Specializations
val (H3-1-3)
pr Generalizations
(LAMBDA (pr val inv) (AND & &))
MAP2C
un H3-1
AddInv
COND
PROG1
NOLD H3
N H3-1
CreateUnit
COND
PROG1
NOLD H3
N H3
CreateUnit
SETQ
task (475 H3 Generalizations (&) (& &))
(LAMBDA (task) (SETQ NewUnit &) (MAPC & &) (PUT NewUnit SlotToChange NewValue) (
SETQ NewUnits &) (COND & &) (ADDPROP & & &) (MAPC & &) (PUT NewUnit & &) -
(RATOM broken)
:EU(H3)
edit
*P
(IsA (Heuristic Op) English (IF the current task is to specialize a unit, but no
specific slot to specialize is yet known, THEN --) IfPotentiallyRelevant NULL
Worth 100 Applics (&) Abbrev (Specialize u by specializing one random slot)
IfWorkingOnTask (LAMBDA & &) ThenPrintToUser (LAMBDA & & T) ThenAddToAgenda (
LAMBDA & & &) ThenCompute (LAMBDA & & & T) --)
*F H3-1≠
=H3-1-3
*P
(H3-1-3)
*BK P
Generalizations
*:
*:
*E NewU
(H3-1 Conjec-9 H5-3 H5-2 H5-1 Conjec-8 H19-3 H19-2 H19-1 Conjec-7 Conjec-6
Conjec-5 Conjec-4 Conjec-3 Conjec-2 AND-2 AND-1 H1-5 H1-4 H1-3 H1-2 H1-1
Conjec-1)
*ok
(FinishedEditing H3)
:ok
N
RATOM
Generalized the ThenCompute slot of H3, replacing its old value by (LAMBDA (task
) (SETQ SlotToChange (RandomChoose (SetIntersect (SlotNames CurUnit) (Examples (
QUOTE ReprConcept))))) (SETQ CreditTo (CDR (ASSOC (QUOTE CreditTo) CurSup))) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
9728, 10240 free cells, 27 pages left
Task 295: Working on a new promising task: (It is Possible (475) that finding
Generalizations of H3 will be worthwhile, since: ((
A new unit will be created by generalizing the ThenAddToAgenda slot of H3
; that slot was chosen randomly.)))
Inside the ThenAddToAgenda slot, H3 -> H3-1
Generalized the ThenAddToAgenda slot of H3, replacing its old vaπlue
interrupted before CPRIN1
(CPRIN1 broken)
:EU(H3-1)
edit
*PP
(IsA (Heuristic Op)
English
(IF the current task is to specialize a unit, but no specific slot to
specialize is yet known,
THEN choose one)
IfPotentiallyRelevant NULL Worth 100 Abbrev
(Specialize u by specializing one random slot)
IfWorkingOnTask
[LAMBDA (task)
(AND (IsAKindOf CurSlot (QUOTE Specializations))
(NULL (ASSOC (QUOTE SlotToChange)
CurSup))
(IGEQ 11 (TheNum
PP ?
*P
(IsA (Heuristic Op) English (IF the current task is to specialize a unit, but no
specific slot to specialize is yet known, THEN --) IfPotentiallyRelevant NULL
Worth 100 Abbrev (Specialize u by specializing one random slot) IfWorkingOnTask
(LAMBDA & &) ThenPrintToUser (LAMBDA & & T) ThenAddToAgenda (LAMBDA & & &)
ThenCompute (LAMBDA & & & T) Generalizations (H3-1-3) --)
*18 P
(LAMBDA (task) (SETQ SlotToChange &) (SETQ CreditTo &) T)
*NX P
Generalizations
*:
*:
*P
... Creditors (H18 H17 H16) Specializations (H3 H3-2))
*↑
*F Subsum≠
Subsum≠ ?
*(N SubSumedBy (H5]
*ok
(FinishedEditing H3-1)
:EU(H3)
edit
*REDO F
=SubsumedBy
*p
... SubsumedBy (H5 H5Criterial H5Good H5-1 H5-2 H5-3) Generalizations (H3-1 H3-2
))
*OK
(FinishedEditing H3)
:EU(H3-1)
edit
*REDO F
Subsum≠ ?
*F Sub≠
=SubSumedBy
*P
... SubSumedBy (H5))
*(1 SubsumedBy)
*OK
(FinishedEditing H3-1)
:EU(H1)
edit
*P
(IsA (Heuristic Op) English (IF an op f & has had some good applications, but
over 4/5 are bad, THEN conjecture that some --) IfPotentiallyRelevant (LAMBDA &
& &) IfTrulyRelevant (LAMBDA & & & &) Worth 715 Applics (& & & & & & & & & & & &
) Abbrev (Specialize a sometimes-useful action) ThenPrintToUser (LAMBDA & & T)
ThenConjecture (LAMBDA & &) ThenAddToAgenda (LAMBDA & & &) --)
*6 P
(LAMBDA (f) **COMMENT** (Applics f))
*NX NX P
(LAMBDA (f) **COMMENT** **COMMENT** (AND & &))
*-1 P
(AND (SOME & &) (GREATERP .2 &))
*PP
[AND [SOME (Applics f)
(QUOTE (LAMBDA (a) **COMMENT**
(SOME (CADR a)
(QUOTE HasHighWorth]
(GREATERP .2 (SETQ Fraction (FractionOf (MapUnion (Applics f)
(QUOTE CADR))
(QUOTE HasHighWorth]
*P
(AND (SOME & &) (GREATERP .2 &))
*(N (NOT (SubsumedBy f]
*ok
(FinishedEditing H1)
:Abbrev(H15)
(If C is Range (f) , then Exs (C) can be gotten from Applics (f))
:Abbrev(H18)
(Generalize a given slot of a given unit)
:EU(H17)
edit
*p
(IsA (Heuristic) English (IF the current task is to generalize a unit, and no
general slot has been chosen to be the --) IfPotentiallyRelevant NULL Worth 600
Abbrev (Generalize u by generalizing some random slots) IfWorkingOnTask (LAMBDA
& &) ThenPrintToUser (LAMBDA & & T) ThenAddToAgenda (LAMBDA & & &) ThenCompute (
LAMBDA & & & T) Applics (& & & & & &))
*ok
(FinishedEditing H17)
:Abbrev(H2)
(Kill a concept that leads to lots of garbage)
:EU(H16)
edit
*F Abbrev
*nx p
(Generalize a sometimes-useful action)
*nx up p
... ThenPrintToUser (LAMBDA & & T) ThenConjecture (LAMBDA & &) ThenAddToAgenda (
LAMBDA & & &) Applics (& & & & & &))
*↑ p
(IsA (Heuristic) English (IF the results of performing f are sometimes & useful
, THEN consider creating new generalizations of f) IfPotentiallyRelevant (LAMBDA
& & &) IfTrulyRelevant (LAMBDA & & & &) Worth 600 Abbrev (Generalize a
sometimes-useful action) ThenPrintToUser (LAMBDA & & T) ThenConjecture (LAMBDA &
&) ThenAddToAgenda (LAMBDA & & &) Applics (& & & & & &))
*6 p
(LAMBDA (f) **COMMENT** (Applics f))
*nx nx p
(LAMBDA (f) **COMMENT** **COMMENT** (AND & &))
*-1
*p
(AND (SOME & &) (GREATERP & .1))
*REDO N
*p
(AND (SOME & &) (GREATERP & .1) (NOT &))
*ok
(FinishedEditing H16)
:ok
CPRIN1
by (LAMBDA (task) (SETQ Agenda (MergeTasks (LIST (LIST (Average CurPri (
AverageWorths CurUnit (QUOTE H3-1))) CurUnit CurSlot (CONS (SETQ NewReason (LIST
A new unit will be created by specializing the SlotToChange slot of CurUnit
; that slot was chosen randomly.)) NIL) (LIST (LIST (QUOTE SlotToChange)
SlotToChange) (CONS (QUOTE CreditTo) (CONS (QUOTE H3) CreditTo))))) Agenda)) (
SETQ TaskResults (AddPropL TaskResults (QUOTE NewTasks) (LIST 1 (QUOTE specific)
(QUOTE slot) (QUOTE of) CurUnit (QUOTE to) (QUOTE find) CurSlot (QUOTE of))))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
9124, 10148 free cells, 25 pages left
Task 296: Working on a new promising task: (It is Possible (475) that finding
Generalizations of H3 will be worthwhile, since: ((
A new unit will be created by generalizing the ThenPrintToUser slot of H3
; that slot was chosen randomly.)))
Inside the ThenPrintToUser slot, 13 -> 840
Generalized the ThenPrintToUser slot of H3, replacing its old value by (LAMBDA (
task) (CPRIN1 840 CRLF NewReason CRLF CRLF) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 297: Working on a new promising task: (It is Possible (402) that finding
Generalizations of H3 will be worthwhile, since: ((
A new unit will be created by generalizing the Generalizations slot of H3
; that slot was chosen randomly.)))
Inside the Generalizations slot, H3-3 -> H3-1
Generalized the Generalizations slot of H3, replacing its old value by (H3-1
H3-1 H3-1).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H3-4) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 298: Working on a new promising task: (It is Possible (402) that finding
Generalizations of H3 will be worthwhile, since: ((
A new unit will be created by generalizing the Abbrev slot of H3
; that slot was chosen randomly.)))
Inside the Abbrev slot, Duplicated: u specializing one
collecting lists
π9759, 10271 free cells, 24 pages left
interrupted before CDDR
(CDDR broken)
:MINFS(512)
10000
:OK
CDDR
Generalized the Abbrev slot of H3, replacing its old value by (random
specializing Specialize Specialize slot u slot one random by by).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H3-4) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 299: Working on a new promising task: (It is Possible (411) that finding
Applics of H3-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 300: Working on a new promising task: (It is Possible (401) that finding
Applics of H3-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 301: Working on a new promising task: (It is Possible (401) that finding
Applics of H3-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 302: Working on a new promising task: (It is Possible (401) that finding
Applics of H3-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 303: Working on a new promising task: (It is Possible (400) that finding
Generalizations of H3 will be worthwhile, since: ((
A new unit will be created by generalizing the SubsumedBy slot of H3
; that slot was chosen randomly.)))
Inside the SubsumedBy slot, H5 -> H5-3
Generalized the SubsumedBy slot of H3, replacing its old value by (H5-3
H5Criterial H5Good H5-1 H5-2 H5-3).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H3-4) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 304: Working on a new promising task: (It is Possible (401) that finding
Applics of H3-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 305: Focusing on Conjec-9
Task 306: Focusing on H3-3
Since H3-3 has no known Applics, it is probably worth looking for some.
Task 307: Working on a new promising task: (It is Possible (400) that finding
Applics of H3-3 will be worthwhile, since: ((To properly study H3-3 we must
gather empirical data about instances of that concept)))
Task 308: Focusing on H3-2
Since H3-2 has no known Applics, it is probably worth looking for some.
Task 309: Working on a new promising task: (It is Possible (400) that finding
Applics of H3-2 will be worthwhile, since: ((To properly study H3-2 we must
gather empirical data about instances of that concept)))
Task 310: Focusing on H3-1
Since H3-1 has no known Applics, it is probably worth looking for some.
Task 311: Working on a new promising task: (It is Possible (400) that finding
Applics of H3-1 will be worthwhile, since: ((To properly study H3-1 we must
gather empirical data about instances of that concept)))
Task 312: Focusing on los1
Task 313: Focusing on los2
Task 314: Focusing on los3
Task 315: Focusing on los4
Task 316: Focusing on los5
Task 317: Focusing on los6
Task 318: Focusing on los7
Should I continue with another pass? Y
Task 319: Focusing on NIL
Task 320: Focusing on OddNum
Task 321: Focusing on PerfSquare
Task 322: Focusing on PrimeNum
Task 323: Focusing on win1
Task 324: Focusing on Heuristic
Task 325: Focusing on HindSightRule
Task 326: Focusing on Conjec-1
πinterrupted before *
(* broken)
:NewU
(H3-3 H3-2 H3-1 Conjec-9 H5-3 H5-2 H5-1 Conjec-8 H19-3 H19-2 H19-1 Conjec-7
Conjec-6 Conjec-5 Conjec-4 Conjec-3 Conjec-2 AND-2 AND-1 H1-5 H1-4 H1-3 H1-2
H1-1 Conjec-1)
:Units
(H3-3 H3-2 H3-1 Conjec-9 H5-3 H5-2 H5-1 Conjec-8 H19-3 H19-2 H19-1 Conjec-7
Conjec-6 Conjec-5 Conjec-4 Conjec-3 Conjec-2 AND-2 AND-1 H1-5 H1-4 H1-3 H1-2
H1-1 Conjec-1 AND Abbrev Add Alg Anything ApplicGenerator Applics Arity
BestChoose BestSubset Bit CompiledDefn Conjecture Creditors CriterialSlot
DataType Defn DirectApplics DivisorsOf Domain DontCopy DoubleCheck EQ EQUAL
ElimSlots English EvenNum Examples FastAlg FastDefn Format Generalizations
Generator GoodChoose GoodSubset H1 H10 H11 H12 H13 H14 H15 H16 H17 H18 H19
H19Criterial H2 H3 H4 H5 H5Criterial H5Good H6 H7 H8 H9 HAvoid HAvoid2
HAvoid2AND HAvoid3 HAvoid3First HAvoidIfWorking Heuristic HindSightRule IEQP
IGEQ IGREATERP ILEQ ILESSP IfAboutToWorkOnTask IfFinishedWorkingOnTask IfParts
IfPotentiallyRelevant IfTaskParts
(* broken)
:(MEMB NIL Units)
NIL
:OK
*
Task 327: Focusing on ProtoConjec
Task 328: Focusing on EvenNum
Task 329: Focusing on PerfNum
Task 330: Focusing on H1-5
Since H1-5 has no known Applics, it is probably worth looking for some.
Task 331: Working on a new promising task: (It is Probable (707) that finding
Applics of H1-5 will be worthwhile, since: ((To properly study H1-5 we must
gather empirical data about instances of that concept)))
Task 332: Focusing on H1-4
Since H1-4 has no known Applics, it is probably worth looking for some.
Task 333: Working on a new promising task: (It is Probable (707) that finding
Applics of H1-4 will be worthwhile, since: ((To properly study H1-4 we must
gather empirical data about instances of that concept)))
Task 334: Focusing on H1-3
Since H1-3 has no known Applics, it is probably worth looking for some.
Task 335: Working on a new promising task: (It is Probable (707) that finding
Applics of H1-3 will be worthwhile, since: ((To properly study H1-3 we must
gather empirical data about instances of that concept)))
Task 336: Focusing on H1-2
Since H1-2 has no known Applics, it is probably worth looking for some.
Task 337: Working on a new promising task: (It is Probable (707) that finding
Applics of H1-2 will be worthwhile, since: ((To properly study H1-2 we must
gather empirical data about instances of that concept)))
Task 338: Focusing on H1
Conjec-10:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-11:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-12:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-13:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-14:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Task 339: Working on a new promising task: (It is AlmostCertain (1000) that
finding Specializations of H1 will be worthwhile, since: (Conjec-10 Conjec-12
Conjec-13 Conjec-14))
H1 will be specialized by specializing the following of its criterial slots: (
ThenConjecture ThenAddToAgenda)
H1 will be specialized by specializing the following of its good slots: (
IfPotentiallyRelevant ThenConjecture)
H1 will be specialized by specializing the following of its slots: (English
IfPotentiallyRelevant Worth Applics ThenConjecture ThenAddToAgenda)
H1 will be specialized by specializing the following of its slots: (
IfPotentiallyRelevant Abbrev ThenPrintToUser ThenConjecture)
(A new unit will be created by specializing the ThenPrintToUser slot of H1
; that slot was chosen randomly.)
Task 340: Working on a new promising task: (It is AlmostCertain (935) that
finding Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H1
; that criterial slot was chosen randomly.) (
A new unit will be created by specializing the ThenAddToAgenda slot of H1
; that slot was chosen randomly.)))
Inside the ThenAddToAgenda slot, H1 -> H1-2
Specialized the ThenAddToAgenda slot of H1, replacing its old value by (LAMBDA (
f) (SETQ Agenda (MergeTasks (LIST (LIST (AverageWorths f (QUOTE H1)) f (QUOTE
SubSlots) (LIST conjec) (LIST (LIST (QUOTE CreditTo) (QUOTE H1))))) Agenda)) (
AddPropL TaskResults (QUOTE NewTasks) (QUOTE (1 unit must be specialized)))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
9579, 9579 free cells, 24 pages left
Task 341: Working on a new promising task: (It is AlmostCertain (1000) that
finding Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenConjecture slot of H1
; that criterial slot was chosen randomly.) (
A new unit will be created by specializing the ThenConjecπture slot of H1
; that slot was chosen because of its high worth.) (
A new unit will be created by specializing the ThenConjecture slot of H1
; that slot was chosen randomly.)))interrupted before APPLY
(APPLY broken)
:Specializations(H3)
NIL
:Specializations(H5)
NIL
:NewU
(H1-6 Conjec-14 Conjec-13 Conjec-12 Conjec-11 Conjec-10 H3-3 H3-2 H3-1 Conjec-9
H5-3 H5-2 H5-1 Conjec-8 H19-3 H19-2 H19-1 Conjec-7 Conjec-6 Conjec-5 Conjec-4
Conjec-3 Conjec-2 AND-2 AND-1 H1-5 H1-4 H1-3 H1-2 H1-1 Conjec-1)
:EU(H3-3)
edit
*P
(IsA (Heuristic Op) English (IF the current task is to specialize a unit, but no
specific slot to specialize is yet known, THEN --) IfPotentiallyRelevant NULL
Worth 101 Abbrev (Specialize u by specializing one random slot) IfWorkingOnTask
(LAMBDA & &) ThenPrintToUser (LAMBDA & & T) ThenAddToAgenda (LAMBDA & & &)
ThenCompute (LAMBDA & & & T) Generalizations (H3-1 H3-2) --)
*20 P
(H3-1 H3-2)
*NX P
Creditors
*NX UP P
... (H18 H17 H16) Specializations (H3))
*(N SubsumedBy (H5]
*ok
(FinishedEditing H3-3)
:EU(H3-1)
edit
*-1 p
(H5)
*bk p
SubsumedBy
*ok
(FinishedEditing H3-1)
:EU(H3-2)
edit
*F Subs≠
Subs≠ ?
*REDO N
*-3 up p
... (H3 H3-3) SubsumedBy (H5))
*ok
(FinishedEditing H3-2)
:Generalizations(H3)
(H3-1 H3-2 H3-3)
:Generalizations(H5)
(H5-1 H5-2 H5-3)
:EU(H5-1)
edit
*REDO F
=Subsumes
*p
... Subsumes (H3) Creditors (H18 H17 H16) Specializations (H5 H5-2 H5-3))
*(N SubsumedBy (H5Good]
*ok
(FinishedEditing H5-1)
:EU(SubsumedBy)
edit
*p
(Worth 300 IsA (Slot NonCriterialSlot ReprConcept) Inverse (Subsumes) DataType
Unit DoubleCheck T DontCopy T)
*-2 p
DontCopy
*:
*:
*ok
(FinishedEditing SubsumedBy)
:EU(H5-2)
edit
*REDO N
*-5 up p
... (H18 H17 H16) Specializations (H5 H5-3) SubsumedBy (H5Good))
*ok
(FinishedEditing H5-2)
:EU(H5-3)
edit
*REDO N
*ok
(FinishedEditing H5-3)
:ok
APPLY
Inside the ThenConjecture slot, H1 -> H1-6
collecting lists
8530, 8530 free cells, 24 pages left
Specialized the ThenConjecture slot of H1, replacing its old value by (LAMBDA (f
) (SETQ Conjectures (CONS (PROGN (SETQ conjec (NewNam (QUOTE Conjec))) (
CreateUnit conjec (QUOTE ProtoConjec)) (PUT conjec (QUOTE English) (NCONC (LIST
(QUOTE Specializations) (QUOTE of) f) (APPEND (QUOTE (may be more useful than it
is, since it has some good instances but many more poor ones))) (LIST (LIST (
Percentify (DIFFERENCE 1.0 Fraction)) (QUOTE are) (QUOTE losers))))) (PUT conjec
(QUOTE Abbrev) (CONS f (QUOTE (sometimes wins, usually loses, so
specializations of it may win big)))) (PUT conjec (QUOTE Worth) (FIX (Average (
NearnessTo Fraction .1) (AverageWorths (QUOTE H1-6) f)))) conjec) Conjectures)))
.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 342: Working on a new promising task: (It is AlmostCertain (935) that
finding Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the IfPotentiallyRelevant slot of
H1 ; that slot was chosen because of its high worth.) (
A new unit will be created by specializing the IfPotentiallyRelevant slot of
H1 ; that slot was chosen randomly.)))
Inside the IfPotentiallyRelevant slot, Applics -> IndirectApplics
collecting lists
8641, 8641 free cells, 24 pages left
Specialized the IfPotentiallyRelevant slot of H1, replacing its old value by (
LAMBDA (f) (* check that f has some recorded applications -- which implies, of
course, that f is an executable/performable entity) (IndirectApplics f)).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 343: Working on a new promising task: (It is Probable (715) that finding
SubSlots of H1 will be worthwhile, since: (Conjec-11))
H1 will be specialized by specializing the following of its criterial slots: (
IfPotentiallyRelevant IfTrulyRelevant ThenPrintToUser ThenAddToAgenda)
H1 will be specialized by specializing the following of its good slots: (
ThenPrintToUser)
Task 344: Working on a new promising task: (It is Probable (714) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenPrintToUser slot of H1
; that slot was chosen randomly.)))
Inside the ThenPrintToUser slot, 13 -> 9
collecting lists
7872, 7872 free cells, 24 pages left
Specialized the ThenPrintToUser slot of H1, replacing its old value by (LAMBDA (
f) (CPRIN1 9
conjec :
Since some specializations of f (CONS i.e., (Abbrev f))
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
f
, and (to that end) has added a new task to the agenda to find such specializations.
) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
7670, 7670 free cells, 24 pages left
Task 345: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-8 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 346: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-9 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 347: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-7 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 348: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-6 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 349: Working on a new promising task: (It is Probable (683) that finding
SubSlots of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H1
; that criterial slot was chosen randomly.)))
Inside the ThenAddToAgenda slot, H1 -> H1-7
Specialized the ThenAddToAgenda slot of H1, replacing its old value by (LAMBDA (
f) (SETQ Agenda (MergeTasks (LIST (LIST (AverageWorths f (QUOTE H1)) f (QUOTE
Specializations) (LIST conjec) (LIST (LIST (QUOTE CreditTo) (QUOTE H1-6)))))
Agenda)) (AddPropL TaskResults (QUOTE NewTasks) (QUOTE (1 unit must be
specialized)))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
7319, 7319 free cells, 24 pages left
Task 350: Working on a new promising task: (It is Probable (783) that finding
SubSlots of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenPrintToUser slot of H1
; that criterial slot was chosen randomly.) (
A new unit will be created by specializing the ThenPrintToUser slot of H1
; that slot was chosen because of its high worth.)))
Inside the ThenPrintToUser slot, 13 -> 4
Specialized the ThenPrintToUser slot of H1, replacing its old value by (LAMBDA (
f) (CPRIN1 4
conjec :
Since some specializations of f (CONS i.e., (Abbrev f))
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
f
, and (to that end) has added a new task to the agenda to find such specializations.
) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
6867, 6867 free cells, 24 pages left
Task 351: Working on a new promising task: (It is Probable (710) that finding
Applics of H1-10 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 352: Working on a new promising task: (It is Probable (710) that finding
Applics of H1-11 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 353: Working on a new promising task: (It is Probable (683) that finding
SubSlots of H1 will be worthwhile, since: ((
A new unit will be created by specializing the IfTrulyRelevant slot of H1
; that criterial slot was chosen randomly.)))
Inside the IfTrulyRelevant slot, Applics -> IndirectApplics
Specialized the IfTrulyRelevant slot of H1, replacing its old value by (LAMBDA (
f) (* check that some IndirectApplics of f have high Worth, but most have low
Worth) (* the extent to which those conditions are met will determine the amount
of energy to expend working on applying this rule -- its overall relevancy) (
AND (SOME (Applics f) (QUOTE (LAMBDA (a) (* this will have the format (args
results)) (SOME (CADR a) (QUOTE HasHighWorth))))) (GREATERP .2 (SETQ Fraction (
FractionOf (MapUnion (IndirectApplics f) (QUOTE CADR)) (QUOTE HasHighWorth)))) (
NOT (SubsumedBy f)))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
6353, 6353 free cells, 24 pages left
collecting lists
6381, 6381 free cells, 24 pages left
Task 354: Working on a new promising task: (It is Probable (710) that finding
Applics of H1-12 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 355: Working on a new promising task: (It is Probable (683) that finding
SubSlots of H1 will be worthwhile, since: ((
A new unit will be created by specializing the IfPotentiallyRelevant slot of
H1 ; that criterial slot was chosen randomly.)))
Inside the IfPotentiallyRelevant slot, Applics -> DirectApplics
Specialized the IfPotentiallyRelevant slot of H1, replacing its old value by (
LAMBDA (f) (* check that f has some recorded applications -- which implies, of
course, that f is an executable/performable entity) (DirectApplics f)).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
5920, 5920 free cells, 24 pages left
collecting lists
5981, 5981 free cells, 24 pages left
Task 356: Working on a new promising task: (It is Probable (710) that finding
Applics of H1-13 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 357: Working on a new promising task: (It is Probable (618) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the Applics slot of H1
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the Applics
slot of H1
Task 358: Working on a new promising task: (It is Probable (614) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the Abbrev slot of H1
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the Abbrev
slot of H1
Task 359: Working on a new promising task: (It is Probable (614) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of H1
; that slot was chosen randomly.)))
Inside the Worth slot, 718 -> 600
Specialized the Worth slot of H1, replacing its old value by 600.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H1-14) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 360: Working on a new promising task: (It is Probable (651) that finding
Applics of H1-14 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 361: Working on a new promising task: (It is Probable (614) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the English slot of H1
; that slot was chosen randomly.)))
Inside the English slot, Eliminated: IF op f had some but over bad, THEN
conjecture that some of f may be add specialize f to the Agenda
Specialized the English slot of H1, replacing its old value by (an (e.g., a
mathematical function, a heuristic, etc.) has good applications, 4/5 are
Specializations superior to f, and tasks to).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H1-14) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 362: Working on a new promising task: (It is Probable (710) that finding
Applics of H1-14 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 363: Working on a new promising task: (It is Possible (500) that finding
Specializations of ProtoConjec will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for ProtoConjec
)))
ProtoConjec
will be specialized by specializing the following of its criterial slots: NIL
ProtoConjec
will be specialized by specializing the following of its good slots: NIL
Task 364: Working on a new promising task: (It is Possible (500) that finding
Specializations of English will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for English)))
English
will be specialized by specializing the following of its criterial slots: NIL
English will be specialized by specializing the following of its good slots: (
Worth IsA)
Task 365: Working on a new promising task: (It is Possible (501) that finding
Specializations of English will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of English
; that slot was chosen because of its high worth.)))
Inside the Worth slot, 304 -> 3
(English-1 (u) NIL)
Specialized the Worth slot of English, replacing its old value by 3.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: English-1) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 366: Working on a new promising task: (It is Possible (500) that finding
Specializations of Abbrev will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for Abbrev)))
Abbrev
will be specialized by specializing the following of its criterial slots: NIL
Abbrev will be specialized by specializing the following of its good slots: NIL
Task 367: Working on a new promising task: (It is Possible (500) that finding
Specializations of English will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of English
; that slot was chosen because of its high worth.)))
Inside the IsA slot, Slot -> NonCriterialSlot
Specialized the IsA slot of English, replacing its old value by (
NonCriterialSlot NonCriterialSlot ReprConcept).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: English-1) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 368: Working on a new promising task: (It is Possible (500) that finding
Specializations of Worth will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for Worth)))
Worth will be specialized by specializing the following of its criterial slots:
(DataType)
Worth will be specialized by specializing the following of its good slots: NIL
Task 369: Working on a new promising task: (It is Possible (575) that finding
Specializations of Worth will be worthwhile, since: ((
A new unit will be created by specializing the DataType slot of Worth
; that criterial slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the DataType
slot of Worth
Task 370: Working on a new promising task: (It is Possible (513) that finding
Examples of English-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 371: Working on a new promising task: (It is Unlikely (341) that finding
Specializations of SubsumedBy will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for SubsumedBy)
))
SubsumedBy
will be specialized by specializing the following of its criterial slots: NIL
SubsumedBy will be specialized by specializing the following of its good slots:
(DataType Worth)
Task 372: Working on a new promising task: (It is Possible (496) that finding
Specializations of SubsumedBy will be worthwhile, since: ((
A new unit will be created by specializing the DataType slot of SubsumedBy
; that slot was chosen because of its high worth.)))
Hmmm... couldn't seem to find any meaningful specialization of the DataType
slot of SubsumedBy
Task 373: Working on a new promising task: (It is Possible (422) that finding
Specializations of SubsumedBy will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of SubsumedBy
; that slot was chosen because of its high worth.)))
Inside the Worth slot, 300 -> 101
(SubsumedBy-1 (u) NIL)
Specialized the Worth slot of SubsumedBy, replacing its old value by 101.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: SubsumedBy-1) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
Task 374: Working on a new promising task: (It is Possible (401) that finding
Examples of SubsumedBy-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
collecting lists
6057, 6057 free cells, 24 pages left
Task 375: Focusing on Conjec-14
Task 376: Focusing on Conjec-13
Task 377: Focusing on Conjec-10
Task 378: Focusing on Conjec-12
Task 379: Focusing on Conjec-11
Task 380: Focusing on H1-13
Since H1-13 has no known Applics, it is probably worth looking for some.
Task 381: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-13 will be worthwhile, since: ((To properly study H1-13 we must
gather empirical data about instances of that concept)))
Task 382: Focusing on H1-12
Since H1-12 has no known Applics, it is probably worth looking for some.
Task 383: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-12 will be worthwhile, since: ((To properly study H1-12 we must
gather empirical data about instances of that concept)))
Task 384: Focusing on H1-11
Since H1-11 has no known Applics, it is probably worth looking for some.
Task 385: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-11 will be worπthwhile, since: ((To properly study H1-11 we must
gather empirical data about instances of that concept)))interrupted before APPLY
(APPLY broken)
:GETPROPLIST(SubsumedBy-1)
NIL
:NewU
(H1-13 H1-12 H1-11 H1-10 H1-9 H1-8 H1-7 H1-6 Conjec-14 Conjec-13 Conjec-12
Conjec-11 Conjec-10 H3-3 H3-2 H3-1 Conjec-9 H5-3 H5-2 H5-1 Conjec-8 H19-3 H19-2
H19-1 Conjec-7 Conjec-6 Conjec-5 Conjec-4 Conjec-3 Conjec-2 AND-2 AND-1 H1-5
H1-4 H1-3 H1-2 H1-1 Conjec-1)
:ok
APPLY
Task 386: Focusing on H1-10
Since H1-10 has no known Applics, it is probably worth looking for some.
Task 387: Working on a new promising task: (It is Probable (709) that finding
Applics of H1-10 will be worthwhile, since: ((To properly study H1-10 we must
gather empirical data about instances of that concept)))
Task 388: Focusing on H1-9
Since H1-9 has no known Applics, it is probably worth looking for some.
Task 389: Working on a new promising task: (It is Probable (708) that finding
Applics of H1-9 will be worthwhile, since: ((To properly study H1-9 we must
gather empirical data about instances of that concept)))
Task 390: Focusing on H1-8
Since H1-8 has no known Applics, it is probably worth looking for some.
Task 391: Working on a new promising task: (It is Probable (708) that finding
Applics of H1-8 will be worthwhile, since: ((To properly study H1-8 we must
gather empirical data about instances of that concept)))
Task 392: Focusing on H1-7
Since H1-7 has no known Applics, it is probably worth looking for some.
Task 393: Working on a new promising task: (It is Probable (708) that finding
Applics of H1-7 will be worthwhile, since: ((To properly study H1-7 we must
gather empirical data about instances of that concept)))
Task 394: Focusing on H1-6
Since H1-6 has no known Applics, it is probably worth looking for some.
Task 395: Working on a new promising task: (It is Probable (708) that finding
Applics of H1-6 will be worthwhile, since: ((To properly study H1-6 we must
gather empirical data about instances of that concept)))
Task 396: Focusing on H1-1
Since H1-1 has no known Applics, it is probably worth looking for some.
Task 397: Working on a new promising task: (It is Probable (707) that finding
Applics of H1-1 will be worthwhile, since: ((To properly study H1-1 we must
gather empirical data about instances of that concept)))
Task 398: Focusing on H18
Task 399: Focusing on H4
Conjec-15:
Since some applications of H4 (i.e., about gather to gather data empirical data
new about)
are very valuable, so EURISKO wants to find new concepts which are slightly more generalized than
H4, and (to that end) has added a new task to the agenda to find such concepts.
Conjec-16:
Since some specializations of H4 (i.e., about gather to gather data empirical
data new about)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H4
, and (to that end) has added a new task to the agenda to find such specializations.
Task 400: Working on a new promising task: (It is Probable (710) that finding
Specializations of H4 will be worthwhile, since: (Conjec-16))
H4 will be specialized by specializing the following of its criterial slots: (
IfPotentiallyRelevant IfFinishedWorkingOnTask)
H4 will be specialized by specializing the following of its good slots: (
ThenPrintToUser ThenAddToAgenda Worth)
Task 401: Working on a new promising task: (It is Probable (680) that finding
Specializations of H4 will be worthwhile, since: ((
A new unit will be created by specializing the IfFinishedWorkingOnTask
slot of H4 ; that criterial slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
IfFinishedWorkingOnTask slot of H4
Task 402: Working on a new promising task: (It is Probable (680) that finding
Specializations of H4 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H4
; that slot was chosen because of its high worth.)))
Hmmm... couldn't seem to find any meaningful specialization of the
ThenAddToAgenda slot of H4
Task 403: Working on a new promising task: (It is Probable (680) that finding
Specializations of H4 will be worthwhile, since: ((
A new unit will be created by specializing the IfPotentiallyRelevant slot of
H4 ; that criterial slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
IfPotentiallyRelevant slot of H4
Task 404: Working on a new promising task: (It is Probable (680) that finding
Specializations of H4 will be worthwhile, since: ((
A new unit will be created by specializing the ThenPrintToUser slot of H4
; that slot was chosen because of its high worth.)))
Inside the ThenPrintToUser slot, 13 -> 5
Specialized the ThenPrintToUser slot of H4, replacing its old value by (LAMBDA (
task) (CPRIN1 13 CRLF (LENGTH NewUnits) new units ) (CPRIN1 17 , namely
NewUnits , ) (CPRIN1 13
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
CRLF CRLF) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
5767, 5767 free cells, 24 pages left
1 new units , namely (H4-1),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 405: Working on a new promising task: (It is Probable (712) that finding
Applics of H4-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 406: Working on a new promising task: (It is Probable (651) that finding
Generalizations of H4 will be worthwhile, since: (Conjec-15))
H4 will be generalized by generalizing the following of its slots: (Applics
IfFinishedWorkingOnTask ThenPrintToUser ThenAddToAgenda Specializations)
Task 407: Working on a new promising task: (It is Probable (626) that finding
Generalizations of H4 will be worthwhile, since: ((
A new unit will be created by generalizing the ThenAddToAgenda slot of H4
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful generalization of the
ThenAddToAgenda slot of H4
Task 408: Working on a new promising task: (It is Probable (626) that finding
Generalizations of H4 will be worthwhile, since: ((
A new unit will be created by generalizing the ThenPrintToUser slot of H4
; that slot was chosen randomly.)))
Inside the ThenPrintToUser slot, 13 -> 675
Generalized the ThenPrintToUser slot of H4, replacing its old value by (LAMBDA (
task) (CPRIN1 620 CRLF (LENGTH NewUnits) new units ) (CPRIN1 944 , namely
NewUnits , ) (CPRIN1 675
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
CRLF CRLF) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
collecting lists
5503, 5503 free cells, 24 pages left
collecting lists
5525, 5525 free cells, 24 pages left
1 new units , namely (H4-2),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 409: Working on a new promising task: (It is Probable (722) that finding
Applics of H4-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 410: Working on a new promising task: (It is Probable (626) that finding
Generalizations of H4 will be worthwhile, since: ((
A new unit will be created by generalizing the IfFinishedWorkingOnTask
slot of H4 ; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful generalization of the
IfFinishedWorkingOnTask slot of H4
Task 411: Working on a new promising task: (It is Probable (606) that finding
Specializations of H4 will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of H4
; that slot was chosen because of its high worth.)))
Inside the Worth slot, 702 -> 501
Specialized the Worth slot of H4, replacing its old value by 501.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Hmf! 1 of the 1 new units (namely: H4-3) have criterial slots that
seem indistinguishable from pre-existing units! They must be destroyed...
NON-NUMERIC ARG
NIL
in PLUS
(broken)
:BT
PLUS
AverageWorths
(LAMBDA (NewUnit) (LIST & NewUnit & & &))
MAPCAR
SETQ
(LAMBDA (task) (SETQ Agenda &) (SETQ TaskResults &))
APPLY*
COND
(LAMBDA (z) (COND & & &))
XeqIfItExists
EVERY
AND
PROGN
APPLY
SELECTQ
COND
*PROG*LAM
PROG
(LAMBDA (p) (SETQ HeuristicAgenda &) (PROG & HLOOP & & & & &))
EVERY
OR
WorkOnTask
COND
*PROG*LAM
PROG
CycleThruAgenda
WorkOnUnit
SETQ
*PROG*LAM
PROG
START
**TOP**
:r
H4-1
:EU(H4-1)
edit
*P
(IsA (Heuristic Op) English (IF a unit has just been synthesized, THEN it's a
good idea to gather empirical data about it, and --) IfPotentiallyRelevant NULL
Worth 702 Abbrev (about gather to gather data empirical data new about)
IfFinishedWorkingOnTask (LAMBDA & &) ThenPrintToUser (LAMBDA & & & & T)
ThenAddToAgenda (LAMBDA & & &) Creditors (H6 H5Good H1-12) Generalizations (H4
H4-2))
*F ThenA≠
=ThenAddToAgenda
*nx p
(LAMBDA (task) (SETQ Agenda &) (SETQ TaskResults &))
*3 pp
(SETQ Agenda (MergeTasks [MAPCAR NewUnits (FUNCTION (LAMBDA (NewUnit)
(LIST (AverageWorths NewUnit (QUOTE H4-1))
NewUnit
(Instances NewUnit)
(LIST
"After a unit is synthesized, it is useful to seek instances of it.")
(LIST (QUOTE CreditTo)
(QUOTE H4-1]
Agenda))
*F LIST
*2 p
(AverageWorths NewUnit (QUOTE H4-1))
*2 p
NewUnit
*EVAL
H4-3
*E GETPROPLIST(H4-3)
NIL
*↑ P
(IsA (Heuristic Op) English (IF a unit has just been synthesized, THEN it's a
good idea to gather empirical data about it, and --) IfPotentiallyRelevant NULL
Worth 702 Abbrev (about gather to gather data empirical data new about)
IfFinishedWorkingOnTask (LAMBDA & &) ThenPrintToUser (LAMBDA & & & & T)
ThenAddToAgenda (LAMBDA & & &) Creditors (H6 H5Good H1-12) Generalizations (H4
H4-2))
*F IfFin≠
=IfFinishedWorkingOnTask
*nx pp
[LAMBDA (task)
(SETQ NewUnits (CDR (ASSOC (QUOTE NewUnits)
TaskResults]
*nx nx nx nx p
(LAMBDA (task) (SETQ Agenda &) (SETQ TaskResults &))
*3 3 p
(MergeTasks (MAPCAR NewUnits &) Agenda)
*2 p
(MAPCAR NewUnits (FUNCTION &))
*pp
[MAPCAR NewUnits (FUNCTION (LAMBDA (NewUnit)
(LIST (AverageWorths NewUnit (QUOTE H4-1))
NewUnit
(Instances NewUnit)
(LIST
"After a unit is synthesized, it is useful to seek instances of it.")
(LIST (QUOTE CreditTo)
(QUOTE H4-1]
*2 p
NewUnits
*MBD SUBSET
*P
(SUBSET NewUnits)
*(N 'Unitp]
*P
(SUBSET NewUnits (QUOTE Unitp))
*OK
(FinishedEditing H4-1)
:RETURN 0
'BREAK' = 0
1 new units , namely (H4-3),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
NON-NUMERIC ARG
NIL
in PLUS
(broken)
:RETURN 0
'BREAK' = 0
Task 412: Working on a new promising task: (It is Probable (601) that finding
Applics of H4-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 413: Working on a new promising task: (It is Possible (562) that finding
Generalizations of H4 will be worthwhile, since: ((
A new unit will be created by generalizing the Specializations slot of H4
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful generalization of the
Specializations slot of H4
Task 414: Working on a new promising task: (It is Possible (556) that finding
Generalizations of H4 will be worthwhile, since: ((
A new unit will be created by generalizing the Applics slot of H4
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful generalization of the Applics
slot of H4
Task 415: Working on a new promising task: (It is Unlikely (361) that finding
Examples of H4-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 416: Focusing on H4-2
Since H4-2 has no known Applics, it is probably worth looking for some.
Task 417: Working on a new promising task: (It is Probable (701) that finding
Applics of H4-2 will be worthwhile, since: ((To properly study H4-2 we must
gather empirical data about instances of that concept)))
Task 418: Focusing on H4-1
Since H4-1 has no known Applics, it is probably worth looking for some.
Task 419: Working on a new promising task: (It is Probable (701) that finding
Applics of H4-1 will be worthwhile, since: ((To properly study H4-1 we must
gather empirical data about instances of that concept)))
Task 420: Focusing on H10
Since H10 has no known Applics, it is probably worth looking for some.
Task 421: Working on a new promising task: (It is Probable (700) that finding
Applics of H10 will be worthwhile, since: ((To properly study H10 we must gather
empirical data about instances of that concept)))
Task 422: Focusing on H11
Since H11 has no known Applics, it is probably worth looking for some.
Task 423: Working on a new promising task: (It is Probable (700) that finding
Applics of H11 will be worthwhile, since: ((To properly study H11 we must gather
empirical data about instances of that concept)))
Task 424: Focusing on H12
Task 425: Focusing on H13
Task 426: Focusing on H14
Task 427: Focusing on H15
Since H15 has no known Applics, it is probably worth looking for some.
Task 428: Working on a new promising task: (It is Probable (700) that finding
Applics of H15 will be worthwhile, since: ((To properly study H15 we must gather
empirical data about instances of that concept)))
Task 429: Focusing on H19Criterial
Since H19Criterial has no known Applics, it is probably worth looking for some.
Task 430: Working on a new promising task: (It is Probable (700) that finding
Applics of H19Criterial will be worthwhile, since: ((To properly study
H19Criterial we must gather empirical data about instances of that concept)))
Task 431: Focusing on H2
Since H2 has no known Applics, it is probably worth looking for some.
Task 432: Working on a new promising task: (It is Probable (700) that finding
Applics of H2 will be worthwhile, since: ((To properly study H2 we must gather
empirical data about instances of that concept)))
Task 433: Focusing on H5Criterial
Task 434: Focusing on H5Good
Task 435: Focusing on H6
Task 436: Focusing on H7
Since H7 has no known Applics, it is probably worth looking for some.
Task 437: Working on a new promising task: (It is Probable (700) that finding
Applics of H7 will be worthwhile, since: ((To properly study H7 we must gather
empirical data about instances of that concept)))
Task 438: Focusing on H8
Since H8 has no known Applics, it is probably worth looking for some.
Task 439: Working on a new promising task: (It is Probable (700) that finding
Applics of H8 will be worthwhile, since: ((To properly study H8 we must gather
empirical data about instances of that concept)))
Task 440: Focusing on H9
Since H9 has no known Applics, it is probably worth looking for some.
Task 441: Working on a new promising task: (It is Probable (700) that finding
Applics of H9 will be worthwhile, since: ((To properly study H9 we must gather
empirical data about instances of that concept)))
Task 442: Focusing on HAvoid
Since HAvoid has no known Applics, it is probably worth looking for some.
Task 443: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid will be worthwhile, since: ((To properly study HAvoid we must
gather empirical data about instances of that concept)))
collecting lists
5296, 5296 free cells, 24 pages left
Task 444: Focusing on HAvoid2
Since HAvoid2 has no known Applics, it is probably worth looking for some.
Task 445: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid2 will be worthwhile, since: ((To properly study HAvoid2 we
must gather empirical data about instances of that concept)))
Task 446: Focusing on HAvoid2AND
Since HAvoid2AND has no known Applics, it is probably worth looking for some.
Task 447: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid2AND will be worthwhile, since: ((To properly study HAvoid2AND
we must gather empirical data about instances of that concept)))
Task 448: Focusing on HAvoid3
Since HAvoid3 has no known Applics, it is probably worth looking for some.
Task 449: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid3 will be worthwhile, since: ((To properly study HAvoid3 we
must gather empirical data about instances of that concept)))
Task 450: Focusing on HAvoid3First
Since HAvoid3First has no known Applics, it is probably worth looking for some.
Task 451: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid3First will be worthwhile, since: ((To properly study
HAvoid3First we must gather empiπrical data about instances of that concept)))
interrupted before APPLY
(APPLY broken)
:MINFS(10000)
512
:RECLAIM)
collecting lists
5351, 10471 free cells, 13 pages left
10471
:MINFS(1000)
10000
:OK
APPLY
Task 452: Focusing on HAvoidIfWorking
Since HAvoidIfWorking has no known Applics
, it is probably worth looking for some.
Task 453: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoidIfWorking will be worthwhile, since: ((To properly study
HAvoidIfWorking we must gather empirical data about instances of that concept)))
Task 454: Focusing on Conjec-15
Task 455: Focusing on Conjec-2
Task 456: Focusing on Conjec-7
Task 457: Focusing on Conjec-6
Task 458: Focusing on Conjec-5
Task 459: Focusing on Conjec-3
Task 460: Focusing on Alg
Task 461: Focusing on ApplicGenerator
Task 462: Focusing on CompiledDefn
Task 463: Focusing on DataType
Task 464: Focusing on Defn
Task 465: Focusing on Domain
Task 466: Focusing on ElimSlots
Task 467: Focusing on FastAlg
Task 468: Focusing on FastDefn
Task 469: Focusing on Generator
Task 470: Focusing on H16
Task 471: Focusing on H17
Task 472: Focusing on IfAboutToWorkOnTask
Task 473: Focusing on IfFinishedWorkingOnTask
Task 474: Focusing on IfParts
Task 475: Focusing on IfPotentiallyRelevant
Task 476: Focusing on IfTaskParts
Task 477: Focusing on IfTrulyRelevant
Task 478: Focusing on IfWorkingOnTask
Task 479: Focusing on Inverse
Task 480: Focusing on IterativeAlg
Task 481: Focusing on IterativeDefn
Task 482: Focusing on NonExamples
Task 483: Focusing on RecursiveAlg
Task 484: Focusing on RecursiveDefn
Task 485: Focusing on ThenAddToAgenda
Task 486: Focusing on ThenCompute
Task 487: Focusing on ThenConjecture
Task 488: Focusing on ThenDefineNewConcepts
Task 489: Focusing on ThenDeleteOldConcepts
Task 490: Focusing on ThenModifySlots
Task 491: Focusing on ThenParts
Task 492: Focusing on ThenPrintToUser
Task 493: Focusing on ToDelete
Task 494: Focusing on ToDelete1
Task 495: Focusing on UnitizedAlg
Task 496: Focusing on UnitizedDefn
Task 497: Focusing on AND
Task 498: Focusing on AND-2
Since AND-2 has no known Applics, it is probably worth looking for some.
Task 499: Working on a new promising task: (It is Probable (631) that finding
Applics of AND-2 will be worthwhile, since: ((To properly study AND-2 we must
gather empirical data about instances of that concept)))
Task 500: Focusing on AND-1
Since AND-1 has no known Applics, it is probably worth looking for some.
Task 501: Working on a new promising task: (It is Probable (631) that finding
Applics of AND-1 will be worthwhile, since: ((To properly study AND-1 we must
gather empirical data about instances of that concept)))
Task 502: Focusing on Anything
Task 503: Focusing on Slot
Task 504: Focusing on RandomSubset
Task 505: Focusing on IGEQ
Task 506: Focusing on EQ
Task 507: Focusing on RandomChoose
Task 508: Focusing on EQUAL
Task 509: Focusing on IGREATERP
Task 510: Focusing on Add
Task 511: Focusing on BestChoose
Task 512: Focusing on BestSubset
Task 513: Focusing on Bit
Task 514: Focusing on Conjecture
Task 515: Focusing on CriterialSlot
Task 516: Focusing on DivisorsOf
Task 517: Focusing on GoodChoose
Task 518: Focusing on GoodSubset
Task 519: Focusing on IEQP
Task 520: Focusing on ILEQ
Task 521: Focusing on ILESSP
Task 522: Focusing on MathConcept
Task 523: Focusing on MathObj
Task 524: Focusing on MathOp
Task 525: Focusing on MathPred
Task 526: Focusing on Multiply
Task 527: Focusing on NNumber
Task 528: Focusing on NonCriterialSlot
Task 529: Focusing on NumOp
Task 530: Focusing on OR
Task 531: Focusing on Op
Task 532: Focusing on Pred
Task 533: Focusing on ReprConcept
Task 534: Focusing on Set
Task 535: Focusing on SetOfNumbers
Task 536: Focusing on SetOp
Task 537: Focusing on Square
Task 538: Focusing on Successor
Task 539: Focusing on Task
Since Task has no known Examples, it is probably worth looking for some.
Task 540: Working on a new promising task: (It is Probable (600) that finding
Examples of Task will be worthwhile, since: ((To properly study Task we must
gather empirical data about instances of that concept)))
Task 541: Focusing on TheFirstOf
collecting lists
10523, 10523 free cells, 13 pages left
Task 542: Focusing on TheSecondOf
Task 543: Focusing on UnaryUnitOp
Task 544: Focusing on Unit
Since Unit has no known Examples, it is probably worth looking for some.
Task 545: Working on a new promising task: (It is Probable (600) that finding
Examples of Unit will be worthwhile, since: ((To properly study Unit we must
gather empirical data about instances of that concept)))
Task 546: Focusing on UnitOp
Task 547: Focusing on Conjec-8
Task 548: Focusing on Conjec-4
Task 549: Focusing on Conjec-16
Task 550: Focusing on Conjec-9
Task 551: Focusing on Specializations
Task 552: Focusing on Applics
Task 553: Focusing on Abbrev
Task 554: Focusing on Generalizations
Task 555: Focusing on Worth
Task 556: Focusing on English
Task 557: Focusing on Arity
Task 558: Focusing on Creditors
Task 559: Focusing on DirectApplics
Task 560: Focusing on DontCopy
Task 561: Focusing on DoubleCheck
Task 562: Focusing on Examples
Task 563: Focusing on Format
Task 564: Focusing on InDomainOf
Task 565: Focusing on IndirectApplics
Task 566: Focusing on IsA
Task 567: Focusing on IsRangeOf
Task 568: Focusing on Range
Task 569: Focusing on SibSlots
Task 570: Focusing on SubSlots
Task 571: Focusing on SubsumedBy
Task 572: Focusing on Subsumes
Task 573: Focusing on SuperSlots
Task 574: Focusing on Transpose
Task 575: Focusing on H5-3
Since H5-3 has no known Applics, it is probably worth looking for some.
Task 576: Working on a new promising task: (It is Possible (425) that finding
Applics of H5-3 will be worthwhile, since: ((To properly study H5-3 we must
gather empirical data about instances of that concept)))
Task 577: Focusing on H5-2
Since H5-2 has no known Applics, it is probably worth looking for some.
Task 578: Working on a new promising task: (It is Possible (425) that finding
Applics of H5-2 will be worthwhile, since: ((To properly study H5-2 we must
gather empirical data about instances of that concept)))
Task 579: Focusing on H5
Task 580: Focusing on H5-1
Task 581: Focusing on H19-3
Since H19-3 has no known Applics, it is probably worth looking for some.
Task 582: Working on a new promising task: (It is Possible (425) that finding
Applics of H19-3 will be worthwhile, since: ((To properly study H19-3 we must
gather empirical data about instances of that concept)))
Task 583: Focusing on H19-2
Since H19-2 has no known Applics, it is probably worth looking for some.
Task 584: Working on a new promising task: (It is Possible (425) that finding
Applics of H19-2 will be worthwhile, since: ((To properly study H19-2 we must
gather empirical data about instances of that concept)))
Task 585: Focusing on H19-1
Since H19-1 has no known Applics, it is probably worth looking for some.
Task 586: Working on a new promising task: (It is Possible (425) that finding
Applics of H19-1 will be worthwhile, since: ((To properly study H19-1 we must
gather empirical data about instances of that concept)))
Task 587: Focusing on H19
Conjec-17:
Since some specializations of H19 (i.e., which which Kill an one Kill
already-existing new)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H19
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-18:
Since some specializations of H19 (i.e., which which Kill an one Kill
already-existing new)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H19
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-19:
Since some specializations of H19 (i.e., which which Kill an one Kill
already-exis
←EU(H19)
edit
*p
(IsA (Heuristic Op) English (IF we just created some new units, THEN eliminate
any whose slots are equivalent to already-extant units) IfPotentiallyRelevant
NULL Worth 150 Abbrev (which which Kill an one Kill already-existing new)
IfFinishedWorkingOnTask (LAMBDA & &) ThenPrintToUser (LAMBDA & & & T)
ThenDeleteOldConcepts (LAMBDA & & T) Applics (& &) SubsumedBy (H19Criterial) --)
*4 pp
(IF we just created some new units,
THEN eliminate any whose slots are equivalent to already-extant units)
*F Abbrev
*nx p
(which which Kill an one Kill already-existing new)
*: (Kill any new unit that's the same as an existing one]
*OK
(FinishedEditing H19)
←FILES?)
EUR...to be dumped.
plus the functions: PRINTDEF
plus the property lists: (H3-1 SubSumedBy)
want to say where the above go ? No
NIL
←InitializeEurisko)
Fully Initialize? (Y or N): Y
OK, defining Slots, UsedSlots, UnusedSlots, NUnitSlots as I go along... Done! (
59 Slots)
Eliminate the recently synthesized units? (Conjec-19 Conjec-18 Conjec-17 H4-2
H4-1 Conjec-16 Conjec-15 H1-13 H1-12 H1-11 H1-10 H1-9 H1-8 H1-7 H1-6 Conjec-14
Conjec-13 Conjec-12 Conjec-11 Conjec-10 H3-3 H3-2 H3-1 Conjec-9 H5-3 H5-2 H5-1
Conjec-8 H19-3 H19-2 H19-1 Conjec-7 Conjec-6 Conjec-5 Conjec-4 Conjec-3 Conjec-2
AND-2 AND-1 H1-5 H1-4 H1-3 H1-2 H1-1 Conjec-1)Y
.............................................
Eliminate the individual values filled in during an earlier run, for slots of units still in existence? Y
There are 147 units, of which 6 were synthesized by Eurisko.
Of those,
there are 29 Heuristics
there are 22 MathOps
there are 23 MathObjs
there are 76 ReprConcepts (59 of which are kinds of slots)
!
←MAKEFILE(EUR)
Should I eliminate recently-computed values? (Y or N): Y
collecting lists
26275, 26275 free cells, 13 pages left
<CSD.LENAT>EUR..20
←dribble]